Automatic Generation of Platform Independent Built-in Contract Testers
نویسندگان
چکیده
Automatic generation of built-in contract testers that check pairwise interactions between client and server components is presented. Test artifacts are added to development models, i.e., these models are refined towards testing. The refinement is specified by a set of ATL transformation rules that are automatically performed by the ATL-DT tool. We focus on the KobrA development methodology and the Built-In Testing (BIT) method. Therefore, development and testing artifacts are specified by UML diagrams. To make transformation from development to testing models possible, a UML 2 profile for the BIT method is proposed. The overall solution is part of the MoBIT (Model-driven Built-In contract Testers) tool that was fully developed following Model-Driven Engineering (MDE) approaches. A case study is presented to illustrate the problems and solutions addressed.
منابع مشابه
Automatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملImprovement of generative adversarial networks for automatic text-to-image generation
This research is related to the use of deep learning tools and image processing technology in the automatic generation of images from text. Previous researches have used one sentence to produce images. In this research, a memory-based hierarchical model is presented that uses three different descriptions that are presented in the form of sentences to produce and improve the image. The proposed ...
متن کاملAutomatic Landing of Small Helicopters on 4 DOF Moving Platforms
In this research, an automatic control system is designed for landing of a small helicopter on a 4 DOF moving platform. The platform has three translational and one directional degree of freedom. The controller design approach is based on development of helicopter nonlinear dynamic model into the SDC (State Dependent Coefficient) form and real time solving of state dependent Riccati equation (S...
متن کاملEffect of Pile Scouring on the Structural Behavior of a Fixed Jacket Platform with Consideration of Non-linear Pile Seabed Interaction
In offshore structures, most of failures are caused by the lack of sufficient piles strength. Scour phenomena affects the load transition and the pile strength. The necessity of the consideration of scouring phenomena amplifies when the scour depth becomes remarkable, which can endanger the jacket stability. In this paper, a new method is used to consider the pile scouring using nonlinear pusho...
متن کامل